$\forall$$D$:Dsys, $i$:Id. d{-}decl($D$;$i$) $\in$ Knd$\rightarrow$Type